” 方向红 胡塞尔 几何学 2004年“ 的搜索结果

     来源:本文原文刊于《科学文化评论》2004年第6期撰文:王浩翻译:邢滔滔译者按本文选自王浩最后一本著作A Logical Journey—From Gödel to Philosophy(Cambridge: The MIT Press, 1996)的引言部分,有删节,题目为...

     庄朝晖:计算和逻辑 (2011-10-09 11:08:34) ...所谓计算模型是刻划计算这一概念的一种抽象的形式系统或数学系统,而算法是对计算过程步骤(或状态的一种刻划,是计算方法的一种能行实现方式。...

     计算机科学与数学 (2011-10-09 08:49:32) ... 计算机科学computer science,研究计算机及其周围各种现象和规律的科学,亦即研究计算机系统结构、程序系统(即软件)、人工智能以及计算本身的性质和问题的学科...

1